Integrating Verification Components? Leonardo de Moura, Sam Owre, Harald Rueß, John Rushby, Natarajan Shankar Computer Science Laboratory SRI International Menlo Park CAUSA

Source URL: vstte.ethz.ch

Evaluating the Locality Benefits of Active Messages Ellen Spertus and William J. Dally , Laboratory for Computer Science and Artificial Intelligence Laboratory Massachusetts Institute o

Source URL: www.spertus.com

Lossless Fault-Tolerant Data Structures with Additive Overhead Paul Christiano, Erik D. Demaine? , and Shaunak Kishore MIT Computer Science and Artificial Intelligence Laboratory, 32 Vassar St., Cambridge, MA 02139, USA,

Source URL: erikdemaine.org

A Posterior Probability-Based System Hybridisation and Combination for Spoken Term Detection Javier Tejedor1 , Dong Wang2 , Simon King2 , Joe Frankel2 , Jos´e Col´as1 1 Human Computer Technology Laboratory,

Source URL: www.cstr.ed.ac.uk

Frequency comb swept lasers Tsung-Han Tsai1, Chao Zhou1, Desmond C. Adler1, and James G. Fujimoto1* 1 Department of Electrical Engineering and Computer Science and Research Laboratory of Electronics, Massachusetts Instit

Source URL: www.ece.lehigh.edu

Distributive Laws of Directed Containers [Extended Abstract] Danel Ahman1 and Tarmo Uustalu2 1 Computer Laboratory, University of Cambridge, 15 J. J. Thomson Avenue, Cambridge CB3 0FD, United Kingdom,

Source URL: cs.ioc.ee

A Deconstructing Iterative Optimization YANG CHEN, SHUANGDE FANG and YUANJIE HUANG, State Key Laboratory of Computer Architecture, ICT, CAS, China; Gradudate School, CAS, China LIEVEN EECKHOUT, Ghent University, Belgium

Source URL: pages.saclay.inria.fr

arXiv:1207.3510v2 [cs.CV] 18 DecHMRF-EM-image: Implementation of the Hidden Markov Random Field Model and its Expectation-Maximization Algorithm Quan Wang Signal Analysis and Machine Perception Laboratory

Source URL: arxiv.org

• Estimation theory
• Image segmentation
• Expectationmaximization algorithm
• Canny edge detector
• Statistics
• Applied mathematics
• Image processing
• Artificial intelligence
• Computer vision
• Generalised Hough transform

HELSINKI UNIVERSITY OF TECHNOLOGY Department of Computer Science and Engineering Laboratory of Information Processing Science Oskar Ojala ja Antti Saarinen

Source URL: hsivonen.fi

The computer and the y { FlyBase Michael Ashburner Department of Genetics, University of Cambridge, Cambridge, England and European Molecular Biology Laboratory

Source URL: www.jsbi.org

• Model organism databases
• Cell biology
• FlyBase
• Drosophila
• American atheists
• Michael Ashburner
• Genetics
• Thomas Hunt Morgan
• Homeotic gene
• Hugo J. Bellen